package multi.SAUNA;

import org.metacsp.multi.activity.Activity;
import org.metacsp.framework.ConstraintSolver;
import org.metacsp.framework.Variable;

public class TemporalPolyhedron extends Activity {

	private static final long serialVersionUID = 4429333375094724872L;
	private Polyhedron spatialPoly;
		
	public TemporalPolyhedron(ConstraintSolver cs, int id, ConstraintSolver[] internalSolvers, Variable[] internalVars) {
		super(cs, id, internalSolvers, internalVars);
	}
	
	public void setPolyhedron(Polyhedron poly) {
		this.spatialPoly = poly;
		this.setSymbolicDomain(spatialPoly.toString());
	}
	
	public Polyhedron getSpatialPolyhedron() {
		return this.spatialPoly;
	}
	
	public String toString() {
		return this.getComponent() + " ConvexPolyhedron " + this.getID();
	}

}
